#pragma once

#include "variable.h"

namespace solver 
{
	class literal
	{
	public:
		variable_reference ref;
		variable_spin  spin;

		bool operator == (const literal& b)
		{
			return ref == b.ref && spin == b.spin;
		}

		bool operator != (const literal &b)
		{
			return !(*this == b);
		}
	};
}
